perm filename N1MEND.PRF[P,JRA] blob sn#054879 filedate 1973-07-25 generic text, type T, neo UTF8
CHOICE-STRATEGY-IS: 
ANCESTRY;

EDIT-STRATEGY-IS: 
LENGTH[5];

ELAPSED-TIME =1216

NIL 1 2
1 A;THM
2 A⊃B;THM